Verifying ODP trader function by using Event B

Modelling an Object Based System with Coloured Petri Nets

The Reference Model for Open Distributed Processing (RM–ODP) defines an architecture which allows heterogeneous software components to interact, where entities in the system are Objects. In RM–ODP, entire applications may be considered to be Objects. In order to allow dynamic location of services/resources, a Trading function has been defined which is performed by a Trader instance. In this pap...

ODP-Trader

In an open distributed system, it is desirable to have dynamic selection of required services. Trading is a common ODP function that enables client (service consumers) to choose appropriate servers (service providers) at run time so that clients can be configured into an ODP system without prior knowledge of the server objects. An ODP-trader is an object that provides such a trading function. U...

Applying the Architectural Semantics of ODP to Develop a Trader Specification

This paper provides an introduction to the role of Formal Description Techniques in the development of an architectural semantics for Open Distributed Processing (ODP). Following a brief overview of ODP and the Reference Model for ODP, an outline of the reasons for developing of an architectural semantics is given. The different approaches currently being taken for an ODP architectural semantic...

UNIVERSITY OF SOUTH AUSTRALIA Modelling, Analysis and Prototyping of the ODP Trader using Coloured Petri Nets and Java

Federating Traders: An ODP Adventure

In this paper we propose a model of decentralized federation of traders. Each component trader manages its own set of federated traders. A federation contract is used to document the agreement between two federating traders. The importer's portion of the federation contract forms an import contract that states the service types available in the remote trader. The exporter's portion of the feder...